Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
371	Microsoft Word - IBSDM&BI.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:34 Constraint programming Inductive reasoning Reasoning Artificial intelligence Case-based reasoning Critical thinking Constraint satisfaction problem Reasoning system Constraint satisfaction Mathematical optimization Intelligent decision support system Search algorithm
372	51 Documenta Math. Linear Programming Stories Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-25 10:24:41 Operations research Convex optimization Lattice points Combinatorial optimization Computational number theory Ellipsoid method Linear programming Leonid Khachiyan Lattice reduction LenstraLenstraLovsz lattice basis reduction algorithm Mathematical optimization Arjen Lenstra
373	Computer Science Education 2004, Vol. 14, No. 3, pp. 235–248 Teaching Algorithm Efficiency at CS1 Level: A Different Approach Judith Gal-Ezer, Tamar Vilner, and Ela Zur Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:41:13 Theoretical computer science Analysis of algorithms Dynamic programming Software optimization Algorithm Mathematical logic Selection algorithm Recursion Sort Best worst and average case Knapsack problem Matrix chain multiplication
374	First version of the Mancoosi specialised CUDF solver plugin for the modular platform manager Deliverable 4.2 Nature : Deliverable Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Operations research Mathematical optimization Linear programming Solver Pareto efficiency
375	TOWARDS PROOF SCRIPT REFACTORING DAVID ASPINALL, LUCAS DIXON, IAIN WHITESIDE 1. Introduction In software engineering, a refactoring is a semantics preserving restructuring operation ‘that support[s] the design, evoluti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-09 06:40:19 Extreme programming Code refactoring Mathematical proof Isabelle
376	The IceCube approach to the reconciliation of divergent replicas Anne-Marie Kermarrec, Antony Rowstron, Marc Shapiro Peter Druschel Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-06-26 00:03:52 Operations research Windows Task Scheduler Scheduling Simulation Schedule Mathematical optimization ECO Constraint programming
377	Getting from x to y without crashing: Computer syntax in mathematics education By David J. Jeffrey Department of Applied Mathematics, University of Western Ontario, London, Ontario, Canada N6A 5B7 Receive Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2010-03-28 11:30:45 Cross-platform software Mathematical software Array programming languages Numerical software Numerical linear algebra MATLAB Array programming Maple Matrix SageMath Array data type Numerical analysis
378	NPRG049— Programovací jazyky OCaml a F# Tomáš Petříček, Functional Programming in F# (the fun way to learn mathematical thinking) Add to Reading List Source URL: tomasp.net - Date: 2016-08-05 06:39:51 Functional languages Object-oriented programming languages OCaml Caml Cross-platform software Functional programming Wacaw Sierpiski Wolfram Mathematica Tom Petek Sierpinski carpet
379	SIAM J. OPTIM. Vol. 20, No. 4, pp. 1786–1810 c 2010 Society for Industrial and Applied Mathematics Add to Reading List Source URL: www.sandia.gov Language: English - Date: 2011-01-04 15:42:58 Electrical engineering Operations research Mathematical optimization Graph theory Electric power Power-flow study Topology Laplacian matrix Matrix KarushKuhnTucker conditions Linear programming Bilevel optimization
380	Year 1 New Computing Curriculum Overview Strand Add to Reading List Source URL: swaygrantham.co.uk Language: English - Date: 2014-07-02 18:20:09 Computing Computer programming Software engineering Algorithm Mathematical logic Theoretical computer science Computer Input/output Instruction set Subroutine Password Algorithm characterizations

UPDATE